Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
301	Logic for coalitions with bounded resources ∗ Natasha Alechina and Brian Logan and and Nguyen Hoang Nga and Abdur Rakib School of Computer Science The University of Nottingham Nottingham, NG8 1BB, UK {nza,bsl,hnn,rza}@ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:44 Modal logic Entailment Combinatory logic Logic Artificial intelligence Epistemic modal logic
302	Microsoft Word - reasonerExpPower.doc Add to Reading List Source URL: www.vincenzocrupi.com Language: English - Date: 2013-03-03 08:27:45 Charles Sanders Peirce Epistemology Reasoning Mathematics If and only if Bayesian inference Combinatory logic Statistics Logic Abductive reasoning
303	Logic for coalitions with bounded resources∗ Abdur Rakib Nguyen Hoang Nga Brian Logan Natasha Alechina Sch. of Computer Science Sch. of Computer Science Sch. of Computer Science Sch. of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-21 10:06:03 Logic in computer science Partition Mathematics Combinatory logic Lambda calculus
304	The precedence constrained knapsack problem: Separating maximally violated inequalities. Daniel Espinoza Department of Industrial Engineering, Universidad de Chile Marcos Goycoolea School of Business, Universidad Adolfo Add to Reading List Source URL: mgoycool.uai.cl Language: English - Date: 2012-12-05 08:27:12 Inequality Applied mathematics Combinatory logic Linear programming Cauchy–Schwarz inequality Mathematics Theoretical computer science Elementary algebra
305	MATHEMATICS OF OPERATIONS RESEARCH Vol. 35, No. 2, May 2010, pp. 479–493 issn 0364-765X eissn[removed] 10 3502 0479 informs Add to Reading List Source URL: mgoycool.uai.cl Language: English - Date: 2011-10-28 12:33:41 Combinatorial optimization Elementary algebra Inequality Linear programming Combinatory logic Max-flow min-cut theorem Mathematics Theoretical computer science Applied mathematics
306	A Practical Approach to Co-induction in Twelf Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh & DSI, University of Milan Funded in part by EU-project Mobius (IST[removed]) Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-04-27 12:26:32 Mathematical logic Programming language theory Combinatory logic Lambda calculus Twelf Ordinal number Dependently typed programming Generalized algebraic data type Theoretical computer science Logic in computer science Type theory
307	Sequential Logic Synthesis Using Symbolic Bi-Decompsition Add to Reading List Source URL: www.bvsrc.org Language: English - Date: 2009-05-13 19:30:33 Electronic engineering Reed-Muller expansion Function Logic optimization Combinatory logic Canonical form Binary decision diagram Path decomposition Asynchronous logic Mathematics Mathematical logic Boolean algebra
308	Conservative Concurrency in Haskell David Sabel and Manfred Schmidt-Schauß Computer Science Institute, Goethe-University, Frankfurt am Main, Germany Email: {sabel,schauss}@ki.informatik.uni-frankfurt.de Add to Reading List Source URL: www.ki.informatik.uni-frankfurt.de Language: English - Date: 2012-06-27 17:17:43 Applied mathematics Computing Logic in computer science Models of computation Combinatory logic Lambda calculus Monad Π-calculus Lambda Software engineering Functional programming Theoretical computer science
309	Type Preservation as a Confluence Problem∗ Aaron Stump1 , Garrin Kimmell1 , and Roba El Haj Omar1 1 Computer Science The University of Iowa Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2011-04-26 05:41:58 Mathematics Logic in computer science Formal languages Models of computation Combinatory logic Fixed-point combinator Rewriting Simply typed lambda calculus Overlap Theoretical computer science Applied mathematics Lambda calculus
310	Kestrels, Quirky Birds, and Hopeless Egocentricity Raganwald’s collected adventures in Combinatory Logic and Ruby Meta-Programming Reginald Braithwaite This book is for sale at http://leanpub.com/combinators Add to Reading List Source URL: samples.leanpub.com Language: English - Date: 2014-02-07 21:41:22 Combinatory logic Lambda calculus Logic in computer science To Mock a Mockingbird Ruby Kestrel Haskell Curry C++ classes Raymond Smullyan Computing Theoretical computer science Software engineering

UPDATE